1. Symposium on Automatic Demonstration
پدیدآورنده : edited by M. Laudet ]and others[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
S9
1968
2. Symposium on Automatic Demonstration
پدیدآورنده : Symposium on Automatic Demonstration, Versailles
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Automatic theorem proving- Congresses
رده :
QA
3
.
L28
no
.
125
